Extracting Frame Conditions from Operation Contracts

Source URL: www.db.informatik.uni-bremen.de

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Postcondition
• Object Constraint Language
• Causality
• Statistics
• Statistical hypothesis testing
• Invariant

ResearchGate: Disseminating, Communicating and Measuring Scholarship?1 Mike Thelwall, Kayvan Kousha Statistical Cybermetrics Research Group, School of Mathematics and Computer Science, University of Wolverhampton, Wulf

Source URL: www.scit.wlv.ac.uk

Statistical Analysis of Hippocampus Shape Using a Modified Mann-Whitney-Wilcoxon Test Nikhil Ram Mohan Johns Hopkins University, Center for Imaging Science Carey Priebe

Source URL: www.cis.jhu.edu

Can Amazon.com Reviews Help to Assess the Wider Impacts of Books? 1 Kayvan Kousha Statistical Cybermetrics Research Group, School of Mathematics and Computer Science, University of Wolverhampton, Wulfruna Street, Wolverh

Source URL: www.scit.wlv.ac.uk

Patent Citation Analysis with Google1 Kayvan Kousha and Mike Thelwall Statistical Cybermetrics Research Group, School of Mathematics and Computer Science, University of Wolverhampton, Wulfruna Street, Wolverhampton WV1 1

Source URL: www.scit.wlv.ac.uk

Clique Matrices for Statistical Graph Decomposition and Parameterising Restricted Positive Definite Matrices David Barber Department of Computer Science, University College London www.cs.ucl.ac.uk/staff/d.barber

Source URL: uai2008.cs.helsinki.fi

Using Neural Measures of Economic Value to Solve the Public Goods Free-Rider Problem Ian Krajbich, et al. Science 326, ); DOI: scienceThe following resources related to this article are availabl

Source URL: www.rnl.caltech.edu

• Game theory
• Mechanism design
• Machine learning
• Incentive compatibility
• Support vector machine
• Revelation principle
• Statistical classification
• Information
• Learning
• Mathematics

Course goals: The course is divided into modules that together comprise a range of quantitative methods used in modern genetics. Each module presents experimental designs and analytical approaches for a kind of ge

Source URL: genetics.ucsd.edu

• Statistics
• Genetics
• Biology
• Science
• Evolutionary biology
• Mutation
• Probability
• Statistical hypothesis testing

Statistical models for natural language parsing Mark Johnson Microsoft Research / Brown University July 2007

Source URL: web.science.mq.edu.au

The role of arXiv, RePEc, SSRN and PMC in formal scholarly communication Xuemei Li Peter F. Bronfman Library, York University, Toronto, Ontario, Canada Mike Thelwall Statistical Cybermetrics Research Group, School of Mat

Source URL: www.yorku.ca

• Publishing
• Academia
• Public sphere
• Academic publishing
• Open access
• Social Science Research Network
• Preprint
• Disciplinary repository
• Research Papers in Economics
• ArXiv
• Europe PubMed Central
• Scopus